Proposition 4.3.4 (Direct sums)

K-theory respects direct sums.
For any pair of -algebras we have that Proof: five lemma.